Three Views of Log Trace Triaging
نویسندگان
چکیده
This paper extends previous work on execution trace triaging. We examine the problem of trace triaging along three of the four views used in the study of temporal properties, namely the automata-theoretic view, the temporal logic view and the set-theoretic view. For each case, we propose several partitions of universe of possible traces into equivalence classes, which follow naturally from the chosen view and form the basis for trace triaging.
منابع مشابه
Beta trace protein as GFR marker in children
Background and Objective: Serum creatinine is the most used endogenous marker of glomerular filtration rate (GFR), but it also has multiple limitations. Therefore, some surrogate GFR markers, such as beta trace protein, have been introduced for GFR estimation. The aim of our study was to estimate GFR by serum beta trace protein using three available equations and compare them to DTPA GFR as the...
متن کاملA determinant inequality and log-majorisation for operators
Let $lambda_1,dots,lambda_n$ be positive real numbers such that $sum_{k=1}^n lambda_k=1$. In this paper, we prove that for any positive operators $a_1,a_2,ldots, a_n$ in semifinite von Neumann algebra $M$ with faithful normal trace that $t(1)
متن کاملOpium: An Extendable Trace Analyzer for Prolog
Traces of program executions are a helpful source of information for program debugging. They, however, give a picture of program executions at such a low level that users often have diiculties to interpret the information. Opium, our extendable trace analyzer, is connected to a \standard" Prolog tracer. Opium is programmable and extendable. It provides a trace query language and abstract views ...
متن کاملDeepTriage: Exploring the Effectiveness of Deep Learning for Bug Triaging
For a given software bug report, identifying an appropriate developer who could potentially fix the bug is the primary task of a bug triaging process. A bug title (summary) and a detailed description is present in most of the bug tracking systems. Automatic bug triaging algorithm can be formulated as a classification problem, which takes the bug title and description as the input, mapping it to...
متن کاملEffects of statistical distribution of joint trace length on the stability of tunnel excavated in jointed rock mass
The rock masses in a construction site of underground cavern are generally not continuous, due to the presence of discontinuities, such as bedding, joints, faults, and fractures. The performance of an underground cavern is principally ruled by the mechanical behaviors of the discontinuities in the vicinity of the cavern. During underground excavation, many surrounding rock failures have close r...
متن کامل